翻訳と辞書 Words near each other ・ Kenneth Kluz ・ Kenneth Knowles ・ Kenneth Kobani ・ Kenneth Koch ・ Kenneth Koe ・ Kenneth Koedinger ・ Kenneth Kokin ・ Kenneth Komoski ・ Kenneth Konstam ・ Kenneth Kove ・ Kenneth Kraus ・ Kenneth Kronberg ・ Kenneth Kronholm ・ Kenneth Kruszewski ・ Kenneth Kunde ・ Kenneth Kunen ・ Kenneth Kurtz ・ Kenneth Kwong ・ Kenneth L. Barker ・ Kenneth L. Brown ・ Kenneth L. Casey ・ Kenneth L. Clarkson ・ Kenneth L. Curtis ・ Kenneth L. Davis ・ Kenneth L. Dixon ・ Kenneth L. Farmer, Jr. ・ Kenneth L. Gile ・ Kenneth L. Greenquist ・ Kenneth L. Hale ・ Kenneth L. Hallenbeck Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Kenneth Kunen ： ウィキペディア英語版 Kenneth Kunen Herbert Kenneth Kunen (born August 2, 1943) is an emeritus professor of mathematics at the University of Wisconsin–Madison〔http://www.math.wisc.edu/~apache/emeriti.html〕 who works in set theory and its applications to various areas of mathematics, such as set-theoretic topology and measure theory. He also works on non-associative algebraic systems, such as loops, and uses computer software, such as the Otter theorem prover, to derive theorems in these areas. Kunen showed that if there exists a nontrivial elementary embedding ''j'':''L''→''L'' of the constructible universe, then 0# exists. He proved the consistency of a normal, $\backslash aleph\_2$-saturated ideal on $\backslash aleph\_1$ from the consistency of the existence of a huge cardinal. He introduced the method of iterated ultrapowers, with which he proved that if $\backslash kappa$ is a measurable cardinal with $2^\backslash kappa>\backslash kappa^+$ or $\backslash kappa$ is a strongly compact cardinal then there is an inner model of set theory with $\backslash kappa$ many measurable cardinals. He proved Kunen's inconsistency theorem showing the impossibility of a nontrivial elementary embedding $V\backslash to\; V$, which had been suggested as a large cardinal assumption (a Reinhardt cardinal). Away from the area of large cardinals, Kunen is known for intricate forcing and combinatorial constructions. He proved that it is consistent that the Martin Axiom first fails at a singular cardinal and constructed under CH a compact L-space supporting a nonseparable measure. He also showed that $P(\backslash omega)/Fin$ has no increasing chain of length $\backslash omega\_2$ in the standard Cohen model where the continuum is $\backslash aleph\_2$. The concept of a Jech–Kunen tree is named after him and Thomas Jech. Kunen received his Ph.D. in 1968 from Stanford University, where he was supervised by Dana Scott. ==Selected publications== * ''The Foundations of Mathematics''. College Publications, 2009. ISBN 978-1-904987-14-7. * ''Set Theory: An Introduction to Independence Proofs''. North-Holland, 1980. ISBN 0-444-85401-0. * (co-edited with Jerry E. Vaughan). ''Handbook of Set-Theoretic Topology''. North-Holland, 1984. ISBN 0-444-86580-2. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Kenneth Kunen」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.